correctness proof

См. также в других словарях:

• proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; …   English World dictionary

• Proof checking — is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.ee also*Model checking *Abstract interpretation *Static code analysis *Automated theorem proving *Symbolic… …   Wikipedia

• Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… …   Wikipedia

• proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… …   Universalium

• proof — 1 /pru:f/ noun 1 (C, U) facts, information, documents etc that prove something is true (+ of): Bring a passport as proof of identity. (+ (that)): Do you have any proof that this man stole your bag? | conclusive proof (=that cannot be doubted) |… …   Longman dictionary of contemporary English

• proof — /pruf / (say proohf) noun 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence. 3. the act of testing or making trial of anything; test; a trial: to put a thing to the proof …  

• proof — [[t]pruf[/t]] n. 1) evidence sufficient to establish a thing as true or believable 2) anything serving as such evidence 3) the act of testing or trying anything; test; trial: to put a thing to the proof[/ex] 4) the establishment of the truth of… …   From formal English to slang

• Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… …   Wikipedia

• Compiler correctness — In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification[citation needed]. Techniques include developing the compiler using formal… …   Wikipedia

• Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… …   Wikipedia

• Burden of proof (logical fallacy) — In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… …   Wikipedia